Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

From Lossy to Lossless Reasoning
manidoraisamy.com·4h·
Discuss: Hacker News
🔤Tokenization
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·17h·
Discuss: Hacker News
🧠LLM Inference
Flag this post
LangGraph feels like what LangChain wanted to be
leanware.co·17h·
Discuss: r/rust
👨‍💻AI Coding
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2h·
Discuss: Hacker News
💻Programming languages
Flag this post
KAITO and KubeFleet: Projects Solving AI Inference at Scale
thenewstack.io·5h
🏗️LLM Infrastructure
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·14h·
🚀Async Optimization
Flag this post
Milestones in open weights AI: what models shaped your journey?
reddit.com·59m·
Discuss: r/LocalLLaMA
🤖AI
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·13h
🛡️AI Safety
Flag this post
Rearchitecting Vector Search: A Migration from MongoDB Atlas to Qdrant
pub.towardsai.net·15h
🎯Qdrant
Flag this post
Horn Clauses
youtube.com·6h
🔓Lock-Free Structures
Flag this post
Stop Making Your Team Figure Out AI on Their Own
nngroup.com·5h
🪄Prompt Engineering
Flag this post
Accelerating AI inferencing with external KV Cache on Managed Lustre
cloud.google.com·6h
🏗️LLM Infrastructure
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·6h·
Discuss: Hacker News
🌐Distributed systems
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·8h·
🦀Rust Compiler Internals
Flag this post
🎲 On LLMs
kaukas.mataroa.blog·14h
🪄Prompt Engineering
Flag this post
Making Every 5x5 Nonogram: Part 1
patreon.com·1h·
Discuss: Hacker News
🌳Data Structures
Flag this post
Ajla Tutorial
ajla-lang.cz·22h·
Discuss: Hacker News
💻Programming languages
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·3h·
Discuss: Hacker News
🏆LLM Benchmarking
Flag this post
A problem that takes quantum computers an unfathomable amount of time to solve
phys.org·12h
🎯Vector Quantization
Flag this post